Free shipping on all orders! No minimum purchase required.
Foundations of Algebraic Specification and Formal Software Development
by Donald Sannella, Andrzej Tarlecki
